翻訳と辞書
Words near each other
・ Potez-CAMS 161
・ Potential energy
・ Potential energy of protein
・ Potential energy surface
・ Potential evaporation
・ Potential flow
・ Potential flow around a circular cylinder
・ Potential for a Fall
・ Potential function
・ Potential future exposure
・ Potential game
・ Potential Getaway Driver
・ Potential good reduction
・ Potential gradient
・ Potential induced degradation
Potential isomorphism
・ Potential Kontinental Hockey League expansion
・ Potential magnetic field
・ Potential method
・ Potential Murder Suspects
・ Potential National Hockey League expansion
・ Potential natural vegetation
・ Potential New Boyfriend
・ Potential of mean force
・ Potential output
・ Potential person
・ Potential Plus UK
・ Potential predictability
・ Potential Regiment Officers course
・ Potential Royal Marine Course


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Potential isomorphism : ウィキペディア英語版
Potential isomorphism
In mathematical logic and in particular in model theory, a potential isomorphism is a collection of finite partial isomorphisms between two models which satisfies certain closure conditions. Existence of a partial isomorphism entails elementary equivalence, however the converse is not generally true, but it holds for ω-saturated models.
== Definition ==
A potential isomorphism between two models ''M'' and ''N'' is a non-empty collection ''F'' of finite partial isomorphisms between ''M'' and ''N'' which satisfy the following two properties:
* for all finite partial isomorphisms ''Z'' ∈ ''F'' and for all ''x'' ∈ ''M'' there is a ''y'' ∈ ''N'' such that ''Z'' ∪ ∈ ''F''
* for all finite partial isomorphisms ''Z'' ∈ ''F'' and for all ''y'' ∈ ''N'' there is a ''x'' ∈ ''M'' such that ''Z'' ∪ ∈ ''F''
A notion of Ehrenfeucht-Fraïssé game is an exact characterisation of elementary equivalence and potential isomorphism can be seen as an approximation of it. Another notion that is similar to potential isomorphism is that of local isomorphism.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Potential isomorphism」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.